% This file was created with JabRef 2.7.2.
% Encoding: UTF8

@ARTICLE{Clarke86automaticverification,
  author = {{E}. {M}. {C}larke and {E}. {A}. {E}merson and {A}. {P}. {S}istla},
  title = {{A}utomatic verification of finite-state concurrent systems using
	temporal logic specifications},
  journal = {{ACM} {T}ransactions on {P}rogramming {L}anguages and {S}ystems},
  year = {1986},
  volume = {8},
  pages = {244--263}
}

@INBOOK{Karlsson2001,
  chapter = {Incremental Development - Terminology and Guidelines},
  pages = {381--400},
  title = {{H}andbook of {S}oftware {E}ngineering and {K}nowledge {E}ngineering},
  publisher = {World Scientific},
  year = {2001},
  author = {{E}ven-{A}ndr{\'e} {K}arlsson},
  volume = {1},
  file = {Karlsson2001.pdf:Karlsson2001.pdf:PDF}
}

@INPROCEEDINGS{Konrad2007,
  author = {{K}onrad, {S}ascha and {G}oldsby, {H}eather and {C}heng, {B}etty},
  title = {i$^2${MAP}: {A}n {I}ncremental and {I}terative {M}odeling and {A}nalysis
	{P}rocess},
  booktitle = {{M}odel {D}riven {L}anguages and {S}ystems},
  year = {2007},
  volume = {4735},
  pages = {451--466},
  file = {Konrad2007.pdf:Konrad2007.pdf:PDF}
}

@ARTICLE{Larman2003,
  author = {{L}arman, {C}raig and {B}asili, {V}ictor {R}.},
  title = {{I}terative and {I}ncremental {D}evelopment: {A} {B}rief {H}istory},
  journal = {{C}omputer},
  year = {2003},
  volume = {36},
  pages = {47--56},
  number = {6},
  month = {June},
  address = {Los Alamitos, CA, USA},
  file = {Larman2003.pdf:Larman2003.pdf:PDF},
  issue_date = {June 2003},
  numpages = {10},
  publisher = {IEEE Computer Society Press}
}

@ARTICLE{Meyers2011,
  author = {{M}eyers, {B}art and {V}angheluwe, {H}ans},
  title = {{A} {F}ramework for {E}volution of {M}odelling {L}anguages},
  journal = {{S}cience of {C}omputer {P}rogramming},
  year = {2011},
  volume = {76},
  pages = {1223--1246},
  number = {12},
  file = {Meyers2011.pdf:Meyers2011.pdf:PDF}
}

@BOOK{Schwaber2001,
  title = {{A}gile {S}oftware {D}evelopment with {S}crum},
  publisher = {Prentice Hall},
  year = {2001},
  author = {{S}chwaber, {K}en and {B}eedle, {M}ike}
}

